MADES: A SysML/MARTE high level methodology for real-time and embedded systems

International audienceRapid evolution of real-time and embedded systems (RTES) is continuing at an increasing rate, and new method-ologies and design tools are needed to reduce design complexity while decreasing development costs and integrating aspects such as verification and validation. Model-Driven Engineering offers an interesting solution to the above mentioned challenges and is being widely used in various industrial and academic research projects. This paper presents the EU funded MADES project which aims to develop novel model-driven techniques to improve existing practices in development of RTES for avionics and surveillance embedded systems industries. MADES proposes a subset of existing UML profiles for embedded systems modeling: namely MARTE and SysML, and is developing new tools and technologies that support design, validation, simulation and eventual automatic code generation, while integrating aspects such as component re-use. In this paper, we first introduce the MADES language, which enables rapid system design and specification that can be then taken by underlying MADES tools for goals such as simulation or code generation. Finally, we illustrate the various concepts present in the MADES language by means of a car collision avoidance system case study

Integrated tool chain for model-based design of Cyber-Physical Systems : The INTO-CPS project

We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs). Challenges facing model-based CPS engineering are described, focussing on the semantic diversity of models, management of the large space of models and artefacts produced in CPS engineering, and the need to evaluate effectiveness in industrial settings. We outline the approach taken to each of these issues, particularly on the use of semantically integrated multi-models, links to architectural modelling, code generation and testing, and evaluation via industry-led studies. We describe progress on the development of a prototype tool chain from baseline tools, and discuss ongoing challenges and open research questions in this area

The MegaM@Rt2 Approach and Tool Set: Scalable Model-based Tools and Architecture for Continuous Development and Runtime Validation of Complex Systems

International audienceA major challenge for the European industry is to enhance the productivity of software-intensive systems as well as to reduce their costs and increase their overall quality. Model-Driven Engineering (MDE) principles and techniques have already shown promising capabilities for software design, development, integration and maintenance. However, they still need to scale up to support real-world scenarios implied by the full deployment and use of complex cyber-physical systems (CPSs). In this context, maintaining efficient traceability, integration and communication between two fundamental system levels (i.e. design time and runtime) is an important challenge. This paper presents an overview of the set of tools and architectural approach envisioned by the H2020 ECSEL MegaM@Rt2 project (" MegaModelling at runtime – Scalable model-based framework for continuous development and runtime validation of complex systems "). The goal of this project is to address the above-mentioned challenges from a MDE perspective. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and approaches for: 1) system engineering/design & continuous development, 2) related runtime analysis and 3) global model & traceability management

Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un Rapport d'Expérience

National audienceCe papier rapporte notre expérience pratique de proposition et d'application d'une approche et d'un langage d'Ingénierie des Exigences basées sur les Modèles. La période concernée de 5 ans couvre trois grands projets collaboratifs européens, chacun d'entre eux fournissant diverses solutions logicielles complexes (e.g., frameworks, ensemble d'outils intégrés, etc.)

Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un Rapport d'Expérience

National audienceCe papier rapporte notre expérience pratique de proposition et d'application d'une approche et d'un langage d'Ingénierie des Exigences basées sur les Modèles. La période concernée de 5 ans couvre trois grands projets collaboratifs européens, chacun d'entre eux fournissant diverses solutions logicielles complexes (e.g., frameworks, ensemble d'outils intégrés, etc.)

REMICS Project: Reuse and Migration of Legacy Applications to Interoperable Cloud Services

The main objective of the REMICS project is to specify, develop and evaluate a tool-supported modeldriven methodology for migrating legacy applications to interoperable service cloud platforms. The migration process consists of understanding the legacy system in terms of its architecture and functions, designing a new SOA application that provides the same or better functionality, and verifying and implementing the new application in the cloud. The demonstrations will show the support for two tasks in this migration: recovery process with the BLU AGE tool and the use of SoaML and forward engineering with Modelio tool

An Iterative Approach for Model-based Requirements Engineering in Large Collaborative Projects: A Detailed Experience Report

International audienceIn this paper, we report on our 7 years of practical experience designing, developing, deploying, using, and evolving an iterative Model-based Requirements Engineering (MBRE) approach and language in the context of five large European collaborative projects providing complex software-intensive solutions. Based on significant data sets collected both during project execution and via surveys realized afterward, we demonstrate that such a model-based approach can bring interesting benefits in terms of scalability (e.g., a large number of handled requirements), heterogeneity (e.g., partnerswith different types of RE background), adaptability and extensibility (e.g., to various project’s needs), traceability (e.g., from the requirements to the software components), automation (e.g., documentation generation), consistency and quality (e.g., central model), and usefulness or usability (e.g., actual deployment and practical use). Along the way, we illustrate the application of our MBRE approach and language with concrete elements from these several European collaborative projects. More broadly, we discuss the general benefits and current limitations of using such a model-based approach and corresponding language, as well as the related lessons we learned during these past years